约翰·麦卡锡(John McCarthy),1927年9月4日出生于波士顿,1951年得到了普林斯顿大学的博士学位,美国计算机科学家,也是人工智能(AI)领域的先驱之一。他在1956年提出了“人工智能”这一概念,并且是Lisp编程语言的创始人之一。
人物经历
早年经历
麦卡锡生于美国波士顿一个共产党家庭,父母的工作性质决定全家需不断搬迁,从波士顿迁到纽约,然后又到了
洛杉矶。信仰爱尔兰天主教的父亲当过木匠、渔夫和工会组织者,母亲是
立陶宛犹太人,在联合通讯社(TheFederatedPress)当记者,后来在一家共产党报社工作。
麦卡锡从小把自己对科学的兴趣与家庭的政治倾向结合起来。麦卡锡在接受采访时说:“我们确信技术的进步对人类有利。我记得小时候读过《十万个为什么》,这是30年代
苏联作家
伊林(M.Ilin)撰写的通俗科技读物。在美国好像没有这样的书。10至15年前我很高兴得知中国有许多非常早熟的儿童,他们都读过《十万个为什么》。”
求学过程
麦卡锡说他的童年平平淡淡,实际上在读中学时,他就找到
加州理工大学的一份课程清单,自学了大学一年和二年的
数学课程。1944年他真的到了这所大学,免修头两年的数学课。1948年9月在读研究生时,他出席了该校主办的“行为的大脑机制西克森研讨会”(Hixon Symposiumon Cerebral Mechanism in Behavior at CalTech)。
大数学家、计算机
设计大师冯·诺伊曼在会上散发了关于自复制自动机的论文。尽管当时还没有人精确地将机器智能与人的智能联系起来,但诺伊曼的报告却激发了麦卡锡的好奇心。
1948年获得
加州理工学院数学学士学位,1951年获得
普林斯顿大学数学博士学位。
去世
2011年10月24日晚上,Lisp语言发明者,人工智能之父约翰·麦卡锡(John McCarthy)去世,享年84岁。
约翰·麦卡锡离世的消息首先是由他的女儿通过非正规的渠道发布的,同时,这一消息已经得到了斯坦福大学的确认。
科研过程
人工智能
1949年在普林斯顿大学数学系作博士论文时,他决定尝试在机器上模拟人的智能。1955年他联合
申农(
信息论创立者)、明斯基(
人工智能大师,《心智社会》的作者)、
罗彻斯特(
IBM计算机设计者之一),发起了达特茅斯项目(Dartmouth Project),第二年正式启动,
洛克菲勒基金会提供了极有限的资助。看来,这个项目不但是人工智能发展史的一个重要事件,也是
计算机科学的一个里程碑。正是在1956年,麦卡锡首次提出“人工智能”(artificial intelligence)这一概念。看来,那次讨论并没有实质上解决有关
智能机的任何具体问题,但它确立了研究目标,使人工智能成为计算机科学中一门独立的
经验科学。
LISP
1957年
巴库斯(John Barkus)及其IBM小组发布了
Fortran语言,这是第一个成功的
高级语言,使程序设计者从繁琐的
汇编语言中解脱出来。
卡内基梅龙大学的纽维尔(A.Newell)、司
马赫(H.Simon)等提出
信息处理语言IPL,麦卡锡则提出
表处理语言Lisp。在
Fortran中不允许有
递归,麦卡锡希望改进它。1960年巴黎会议大家讨论了
Algol语言,采纳了麦卡锡的建议,增加了递归和
条件表达式。Algol最早接受了Lisp的观念,但不是最后一个。如今的
Pascal、C、
Ada等都接受了Lisp的创新。但主流
程序设计语言仍然没有吸收麦卡锡建议的“
评价函数”(eval),认为它很危险。麦卡锡发明Lisp语言,只是把它作为工具,他的目标是制造具有
人类智能的机器。Lisp自发明以后,像其他语言一样,发明人失去了对其的
控制能力,
马库斯和凯(A.Kay,“
面向对象程序设计”的创始人)也一样。
1959年麦卡锡发表《具有常识的
程序》一文,标志着他向“常识
逻辑推理”难题开始宣战。“与所有专门化的理论一样,所有科学也都体现于常识中。当你试图证明这些理论时,你就回到了常识推理,因为常识指导着你的实验。”设想一个旅行者从英国格拉斯哥经过
伦敦去
莫斯科,计算机程序可以分段处理:从
格拉斯哥到伦敦,再从伦敦到莫斯科。但是如果假设此人不幸在伦敦丢失了机票怎么办?当然现实中此人一般不会因此取消原来去莫斯科的计划,他可能会再买一张票。但是预先设计好的
模拟程序却不允许如此灵活。因此要发展一种具有常识
推理能力的逻辑。
麦卡锡发明了
LISP并于1960年将其设计发表在《美国计算机学会通讯》(en:Communications of the ACM)上。他帮助推动了
麻省理工学院的MAC项目(en:Project MAC)。然而,他在1962年了离开麻省理工学院,前往斯坦福大学并在那里协助建立了斯坦福人工智能实验室(en:Stanford
Artificial Intelligence Laboratory),成为MAC项目多年来的一个友好的竞争对手。
情景演算
1964年麦卡锡已是
斯坦福大学人工智能实验室的主任,他提出了一种称之为“
情景演算”(situational calculus)的理论,其中“情景”表示世界的一种状态。当主体(agent)行动时,情景发生变化。主体下一步如何行动取决于他所知道的情景。情景演算的思想吸收了
有穷自动机状态转移的概念。在情景演算中,推理不但取决于状态,而且取决于主体关于状态知道些什么。主体知道得越多,了解得越详细,他就会更好地作出决策。这种情景演算理论吸引了许多研究者,但它本身也引起一种问题。在多主体的世界中,与一个主体有关的情景的变化可能还取决于其他主体的行动。这样处理起来十分困难。在常识世界中,我们的决策可能不大受其他主体的影响,当然有时也受。很难说麦卡锡的努力最终是否成功了,但他向通常的“
演绎推理”挑战,强调人类智能推理的非单调性(nonmonotonicity),发展状态
描述法,在人工智能研究中具有重要意义。麦卡锡试图让机器能像人一样,在某种语境下,进行基本的猜测。但这很难做,即使是人,也常常误解语境。一个有趣的例子是:白宫发言人奥涅尔欢迎新当选的
里根总统时说:“您成了Grover Cleveland”(他指的是美国的一个总统)。而里根却微笑着说:“我只在电影中扮演过一次Cleveland。”(里根指的是棒球手Grover Cleveland Alexander)
培养人才
不管人们对人工智能还有什么偏见,它已成为严肃的经验科学,而麦卡锡为这一领域培养了大量人才,他的学生遍及世界。关于人工智能,想了解更多的东西可以
直接访问麦卡锡的网页,从“公众理解科学的角度”看,他的网页做得非常棒。他讨论了人工智能与哲学的关系,人工智能的分类及
应用领域等。还详细回答了有关人类“可持续发展”的问题。他是技术
乐观派,相信人类会有一个
美好的未来(他提供了许多论据,可从网上看到)。
主要著作
麦卡锡的图灵奖演说题为“人工智能研究的现状”(The Present State of Research on Artificial Intelligence)。但不知什么原因,这篇演说没有发表。在《前20年的图灵奖演说集 》中,则以“附录”(postscript)的形式约请麦卡锡另写了一篇“人工智能的一般原理”(Generality in Artificial Intelligence)。
麦卡锡的主要著作有:
《自动机研究》
《信息学:科学美国人之书》
《形式化的常识:麦卡锡论文选集》
所获奖项
1971年,麦卡锡获得了计算机界的最高奖项图灵奖。
1990年,麦卡锡获得了美国国家科学奖章。
2003年,由于麦卡锡在计算机和
认知科学方面的成就,获得了
富兰克林奖章。
2012年,麦卡锡获得了斯坦福大学工程英雄称号。